АЛГЕБРАИЧЕСКИЕ МОДЕЛИ ПРОЦЕССОВ МОНИТОРИНГА
РАСПРЕДЕЛЕННОГО ПРОГРАММНОГО ПРОЕКТА 

Макарычев Петр Петрович, доктор технических наук, профессор, заведующий кафедрой математического обеспечения и применения электронных вычислительных машин, Пензенский
государственный университет, MPP@pnzgu.ru
Швецов Виктор Владимирович, аспирант, Пензенский государственный университет, vikshv@yandex.ru

519.682

В работе рассматриваются модели процессов мониторинга распределенного программного проекта, построенные с привлечением алгебры процессов Робина Милнера, более известной как пи-исчисление. Для учета вычислений, возникающих при обработке информации, исходная алгебра
расширена арифметикой над полем вещественных чисел.

Ключевые слова

мониторинг программного проекта, пи-исчисление, модели процессов.

 Скачать статью в формате PDF

1. Puhlmann, F. Using the π-calculus for formalizing workflow patterns / F. Puhlmann, M. Weske // Business Process Management. – Heidelberg, Germany : Springer, 2005. – C. 153–168.
2. Milner, R. The Polyadic π-Calculus: a Tutorial / R. Milner ; University of Edinburgh, 1991. – Режим доступа: http://www.lfcs.inf.ed.ac.uk/reports/91/ 3. Швецов, В. В. Адаптивная система мониторинга состояния программного проекта / В. В. Швецов // Системи підтримки прийняття рішень. Теорія і практика :
збірник доповідей науково-практичної конференції з міждународною участью. – Київ : ІПММС НАНУ, 2008. – С. 210–213.
4. Сынту льский, С. С. Язык программирования сверхбыстрых гибридных вычислительных устройств / С. С. Сынтульский // Стохастическая оптимизация в информатике : межвузовский сборник. – СПб. : СПбГУ, 2006. – С. 278–298.
5. Pierce, C. B. Programming in the Pi-Calculus: A tutorial introduction to Pict / C. B. Pierce ; Indiana University. – Bloomington, 1998. – Режим доступа: http://www.cis.upenn.edu/~bcpierce/papers/pict/.